Transformation Method: Making Termination Easier

Dummy Elimination: Making Termination Easier

Making Life Easier for Firefighters

Being a firefighter is a tough job, especially when tight city budgets do not allow enough firefighters to be on duty when a fire starts. This is formalized in the Firefighter problem, which aims to save as many vertices of a graph as possible from a fire that starts in a vertex and spreads through the graph. In every time step, a single additional firefighter may be placed on a vertex, and the...

Making Even Swaps Even Easier

This paper introduces an approach to support different phases of the Even Swaps process by Preference Programming, which is a framework for modeling incomplete information within multiattribute value theory. In the approach, the Even Swaps process is carried out as usual, but in parallel the preferences of the decision maker are modeled with a Preference Programming model, which is also updated...

Making Maximum Entropy Computations Easier

This paper presents a new way to compute the probability distribution with maximum entropy satisfying a set of constraints. Unlike previous approaches , our method is integrated with the planning of data collection and tabulation. We show how adding constraints and performing the associated additional tabulations can substantially speed up computation by replacing the usual iterative techniques...

Making malaria deaths easier to count.

News Making malaria deaths easier to count Autopsy for medical purposes is illegal in Rwanda, so it is difficult to know how many people die of a specific disease. But a change in the law expected this year has spurred researchers to establish Rwanda's first postmortem programme that would start by helping with one of the most difficult of diagnoses in children: cerebral malaria. As the only Rw...